- рекурсивная система
- recursive system
Russian-english psychology dictionary. 2013.
Russian-english psychology dictionary. 2013.
ГЕЙТИНГА ФОРМАЛЬНАЯ СИСТЕМА — Гейтипга исчисление, название трех формальных систем конструктивной логики, предложенных А. Рейтингом [1]. Первая из них гейтинговское, или интуиционистское, исчисление высказываний формализация принципов конструктивной логики высказываний;… … Математическая энциклопедия
НОРМАЛЬНАЯ ФОРМА — 1) Н. ф. матрицы A матрица Nзаранее определенного специального вида, получаемая из Ас помощью преобразований определенного типа. В зависимости от рассматриваемого типа преобразований, от области K, к к рой принадлежат коэффициенты А , от вида Аи … Математическая энциклопедия
Фрактал — Множество Мандельброта классический образец фрактала … Википедия
Фрактальная графика — Множество Мандельброта классический образец фрактала Фрактал (лат. fractus дробленый) термин, означающий геометрическую фигуру, обладающую свойством самоподобия, то есть составленную из нескольких частей, каждая из которых подобна всей фигуре… … Википедия
Фракталы — Множество Мандельброта классический образец фрактала Фрактал (лат. fractus дробленый) термин, означающий геометрическую фигуру, обладающую свойством самоподобия, то есть составленную из нескольких частей, каждая из которых подобна всей фигуре… … Википедия
ПРОГРАММИРОВАНИЕ ТЕОРЕТИЧЕСКОЕ — математическая дисциплина, изучающая математич. абстракции программ, трактуемых как объекты, выраженные на формальном языке, обладающие определенной информационной и логич. структурой и подлежащие исполнению на автоматич. устройствах. П. т.… … Математическая энциклопедия
ГОСТ 19781-90: Обеспечение систем обработки информации программное. Термины и определения — Терминология ГОСТ 19781 90: Обеспечение систем обработки информации программное. Термины и определения оригинал документа: 9. Абсолютная программа Non relocatable program Программа на машинном языке, выполнение которой зависит от ее… … Словарь-справочник терминов нормативно-технической документации
Список статей по математической логике — Это служебный список статей, созданный для координации работ по развитию темы. Данное предупреждение не ус … Википедия
Р — Работа (или операция) [operation] Рабочая валюта (working currency) Работающий капитал (working capital) Равновесие [equilibrium] … Экономико-математический словарь
Аббревиатура — У этого термина существуют и другие значения, см. Аббревиатура (значения). Аббревиатура (итал. abbreviatura от лат. brevis краткий) или сокращение. В старинных рукописях и книгах сокращённое написание слова или группы слов,… … Википедия
ГЁДЕЛЯ ТЕОРЕМА О НЕПОЛНОТЕ — общее название двух теорем, установленных К. Гёделем [1]. Первая Г. т. о н. утверждает, что в любой непротиворечивой формальной системе, содержащей минимум арифметики ( знаки и обычные правила обращения с ними), найдется формально неразрешимое… … Математическая энциклопедия